Separably closed fields with Hasse derivations
نویسنده
چکیده
In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant e equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of e commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative.
منابع مشابه
Types of transcendence degree 1 are separably thin
We prove that the types in Separably Closed Hasse Fields which have transcendence degree 1 are separably thin
متن کاملInsufficiency of the Brauer-manin Obstruction for Enriques Surfaces
In [VAV11], Várilly-Alvarado and the last author constructed an Enriques surface X over Q with an étale-Brauer obstruction to the Hasse principle and no algebraic Brauer-Manin obstruction. In this paper, we show that the nontrivial Brauer class of XQ does not descend to Q. Together with the results of [VAV11], this proves that the BrauerManin obstruction is insufficient to explain all failures ...
متن کاملSemiabelian varieties over separably closed fields, maximal divisible subgroups, and exact sequences
Given a separably closed field K of characteristic p > 0 and finite degree of imperfection we study the ♯-functor which takes a semiabelian variety G over K to the maximal divisible subgroup of G(K). Our main result is an example where G♯, as a “type-definable group” in K, does not have “relative Morley rank”, yielding a counterexample to a claim in [Hr]. Our methods involve studying the questi...
متن کاملThe Model Theory of Separably Tame Valued Fields
A henselian valued field K is called separably tame if its separable-algebraic closure K is a tame extension, that is, the ramification field of the normal extension K|K is separable-algebraically closed. Every separable-algebraically maximal Kaplansky field is a separably tame field, but not conversely. In this paper, we prove Ax– Kochen–Ershov Principles for separably tame fields. This leads ...
متن کاملSeparably Closed Fields and contractive Ore Modules
We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module language augmented with functions yielding components for a p-basis and a chain of subgroups indexed by the valuation group.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 68 شماره
صفحات -
تاریخ انتشار 2003